Hilbert irreducibility sequences and nonstandard arithmetic
نویسندگان
چکیده
منابع مشابه
Effective Hilbert Irreducibility
I Abstract n this paper we prove by entirely elementary means a very effective version of the Hilbert Irreducibility-n Theorem. We then apply our theorem to construct a probabilistic irreducibility test for sparse multivariate poly omials over arbitrary perfect fields. For the usual coefficient fields the test runs in polynomial time in the input K size.
متن کاملNonstandard arithmetic and reverse mathematics
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard arithmetic. In the earlier paper [HKK1984] we introduced saturation principles in nonstandard arithmetic which are equivalent in strength to strong choice axioms in second order arithmetic. This paper studies principles ...
متن کاملNonstandard arithmetic and recursive comprehension
First order reasoning about hyperintegers can prove things about sets of integers. In the author’s paper Nonstandard Arithmetic and Reverse Mathematics, Bulletin of Symbolic Logic 12 (2006), it was shown that each of the “big five” theories in reverse mathematics, including the base theory RCA0, has a natural nonstandard counterpart. But the counterpart RCA0 of RCA0 has a defect: it does not im...
متن کاملArithmetic Nullstellensatz and Nonstandard Methods
In this study we find height bounds for polynomial rings over integral domains. We apply nonstandard methods and hence our constants will be ineffective. Furthermore we consider unique factorization domains and possible bounds for valuation rings and arithmetical functions.
متن کاملU. Zannier ON THE HILBERT IRREDUCIBILITY THEOREM
We discuss the Hilbert Irreducibility Theorem, presenting briefly a new approach which leads to novel conclusions, especially in the context of algebraic groups. After a short survey of the issues and of the known theory, we shall illustrate the main principles and mention some new results; in particular, we shall state a toric analogue of Bertini’s Theorem and a lifting theorem for rational po...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Number Theory
سال: 1987
ISSN: 0022-314X
DOI: 10.1016/0022-314x(87)90084-9